Procedure Exlining: a New System-level Speciication Transformation
نویسنده
چکیده
A New System-Level Speci cation Transformation Frank Vahid Department of Computer Science University of California, Riverside, CA 92521 [email protected] Abstract We introduce a new system-level speci cation transformation called procedure exlining. Exlining is the problem of replacing sequences of statements by procedure calls, which is the opposite problem of inlining. Procedures are used by system synthesis and behavioral synthesis tools to guide exploration of various high-level implementations, so exlining can greatly improve the results of synthesis. We demonstrate the usefulness of exlining on several examples.
منابع مشابه
Model Checking Support for the ASM High-Level Language
Gurevich's Abstract State Machines (ASM) constitute a high-level speciication language for a wide range of applications. The existing tool support for ASM|currently including type-checking, simulation and debugging|should be extended to support computer-aided veriication, in particular by model checking. In this paper we introduce an interface from our existing tool environment to the model che...
متن کاملProvably Correct Synthesis of Asynchronous Circuits
Recently, powerful methods have been developed to aid in the construction of large asynchronous circuits. Asynchronous circuits are synthesized by starting with a high-level speciication and incrementally transforming the speciication to produce a circuit. As these methods are informal, or at best semi-formal, the circuits designed using these methods can only be guaranteed correct by applying ...
متن کاملFrom Conceptual Model to Oo Database via Intermediate Speciication
When designing underlying databases of information systems, data are rst modelled on conceptual level and then the obtained conceptual data model is transformed to a database. The focus of this paper is the transformation of conceptual models into object-oriented database systems. For a conceptual schema, consisting of an information structure and a set of integrity constraints , both the struc...
متن کاملAbstracting a Speciication from Code
ing a Speci cation from Code Martin Ward Computer Science Dept Science Labs South Rd Durham DH1 3LE July 16, 1993 Abstract Much of the work on developing program transformation systems has concentrated on systems to assist in program development. However, the four separate surveys carried out between 1977 and 1990 [18,20,22,24], summarised in [17], show that between 40% and 60% of all commercia...
متن کاملNote: Most Svrc Technical Reports Are Available via Stepwise Development from Ideal Speciications
Personal use of this material is permitted. However, permission to reprint/publish this material for advertising or promotional purpose or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. Abstract The stepwise development of a program using reene-ment requires tha...
متن کامل